Nuprl Definition : eventtype
0,22
postcript
pdf
eventtype(
k
;
loc
;
V
;
M
;
e
) == kindcase(
k
(
e
);
a
.
V
(
loc
(
e
),
a
);
l
,
t
.
M
(
l
,
t
) )
latex
Definitions
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
) )
,
f
(
a
)
FDL editor aliases
eventtype
origin